“Dalla filosofia dell’azione alla filosofia della mente” è stato il percorso di alcuni filosofi di nazionalità varia degli anni 1980 – come Paul Churchland negli Stati Uniti o Ansgar Beckermann in Germania – che prima si sono interessati agli aspetti più teorici nella filosofia dell’azione, come il modo di funzionamento delle azioni e la loro spiegazione scientifica, e che poi, con l’arrivo e la diffusione dei personal computers e delle scienze cognitive, hanno ampliato e approfondito questo interesse di ricerca e (...) si sono dedicati alla filosofia della mente più in generale e in particolare alla spiegazione scientifica e filosofica del mentale. Sandro Nannini faceva parte di questo movimento ed è stato uno tra gli inizialmente pochi filosofi italiani che si sono occupati di questi argomenti; successivamente ne è diventato uno dei maggiori specialisti in Italia, proponendo una sua particolare versione di naturalizzazione del mentale. Subordinata agli interessi teorici è stata la sua iniziativa accademica di fondare e promuovere il primo dottorato italiano di ricerca in Scienze Cognitive. Il presente volume tratta dell’opera di Sandro Nannini in contributi che sono riflessioni più o meno specifiche sulle differenti tappe del suo percorso, affrontando temi come l’analisi dell'azione, il libero arbitrio, la discussione di Nannini di vari classici della filosofia, la tendenza del naturalismo a dissolvere la filosofia in un enciclopedismo empirico e la sfida dei qualia e della fenomenologia all’approccio naturalistico alla mente. Il volume contiene inoltre un saggio dello stesso Sandro Nannini, nel quale espone l’ultimo sviluppo della sua filosofia della mente nonché le risposte agli interventi degli altri autori: Mario De Caro, Sara Dellantonio, Rosaria Egidi, Roberta Lanfredini, Christoph Lumer, Paolo Parrini, Pietro Perconti, Claudio Pizzi, Emanuela Scribano e Giuseppe Varnier. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

Accountability is a cornerstone of the governance of artificial intelligence (AI). However, it is often defined too imprecisely because its multifaceted nature and the sociotechnical structure of AI systems imply a variety of values, practices, and measures to which accountability in AI can refer. We address this lack of clarity by defining accountability in terms of answerability, identifying three conditions of possibility (authority recognition, interrogation, and limitation of power), and an architecture of seven features (context, range, agent, forum, standards, process, (...) and implications). We analyse this architecture through four accountability goals (compliance, report, oversight, and enforcement). We argue that these goals are often complementary and that policy-makers emphasise or prioritise some over others depending on the proactive or reactive use of accountability and the missions of AI governance. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address this, (...) we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

The EU Artificial Intelligence Act (AIA) defines four risk categories for AI systems: unacceptable, high, limited, and minimal. However, it lacks a clear methodology for the assessment of these risks in concrete situations. Risks are broadly categorized based on the application areas of AI systems and ambiguous risk factors. This paper suggests a methodology for assessing AI risk magnitudes, focusing on the construction of real-world risk scenarios. To this scope, we propose to integrate the AIA with a framework developed by (...) the Intergovernmental Panel on Climate Change (IPCC) reports and related literature. This approach enables a nuanced analysis of AI risk by exploring the interplay between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We further refine the proposed methodology by applying a proportionality test to balance the competing values involved in AI risk assessment. Finally, we present three uses of this approach under the AIA: to implement the Regulation, to assess the significance of risks, and to develop internal risk management systems for AI deployers. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

The advent of Generative AI, particularly through Large Language Models (LLMs) like ChatGPT and its successors, marks a paradigm shift in the AI landscape. Advanced LLMs exhibit multimodality, handling diverse data formats, thereby broadening their application scope. However, the complexity and emergent autonomy of these models introduce challenges in predictability and legal compliance. This paper analyses the legal and regulatory implications of Generative AI and LLMs in the European Union context, focusing on liability, privacy, intellectual property, and cybersecurity. It examines (...) the adequacy of the existing and proposed EU legislation, including the Artificial Intelligence Act (AIA), in addressing the challenges posed by Generative AI in general and LLMs in particular. The paper identifies potential gaps and shortcomings in the EU legislative framework and proposes recommendations to ensure the safe and compliant deployment of generative models. (shrink)

Although we may find the concept of anomie in Greek thought, it is since Durkheim that the concept begins to be used specifically as a sociological concept. However, a theory of anomie only becomes consolidated since “Social Structure and Anomie” by Robert K. Merton (Merton 1938). The theory becomes important and conquers its space in the rest of the century as one of the most productive theories about deviance. In this study, based on a contemporary conception of scientific theory, that (...) of the structuralist metatheory, a reconstruction of Merton’s approach is proposed, allowing to make explicit the deep structure of the theory. (shrink)

The article argues that AI can enhance the measurement and implementation of democratic processes within political parties, known as Intra-Party Democracy (IPD). It identifies the limitations of traditional methods for measuring IPD, which often rely on formal parameters, self-reported data, and tools like surveys. Such limitations lead to the collection of partial data, rare updates, and significant demands on resources. To address these issues, the article suggests that specific data management and Machine Learning (ML) techniques, such as natural language processing (...) and sentiment analysis, can improve the measurement (ML about) and practice (ML for) of IPD. The article concludes by considering some of the principal risks of ML for IPD, including concerns over data privacy, the potential for manipulation, and the dangers of overreliance on technology. (shrink)

The principle of the common cause claims that if an improbable coincidence has occurred, there must exist a common cause. This is generally taken to mean that positive correlations between non-causally related events should disappear when conditioning on the action of some underlying common cause. The extended interpretation of the principle, by contrast, urges that common causes should be called for in order to explain positive deviations between the estimated correlation of two events and the expected value of their correlation. (...) The aim of this paper is to provide the extended reading of the principle with a general probabilistic model, capturing the simultaneous action of a system of multiple common causes. To this end, two distinct models are elaborated, and the necessary and sufficient conditions for their existence are determined. (shrink)

Cancel culture is a form of societal self-defense that becomes prominent particularly during periods of substantial moral upheaval. It can lead to the polarization of incompatible viewpoints if it is indiscriminately demonized. In this brief editorial letter, I consider framing cancel culture as an essentially contested concept (ECC), according to the theory of Walter B. Gallie, with the aim of establishing a groundwork for a more productive discourse on it. In particular, I propose that intermediate agreements and principles of reasonableness (...) can help refocus the debate on cancel culture towards democratic discourse, without blanket justification for every instance. In this context, asserting that cancel culture is an ECC does not dismiss the potential of achieving consensus on its shared core meaning or societal role. Like other similar ECCs, such as democracy or rule of law, it highlights the importance of contestations in shaping our collective understanding of the concept. (shrink)

Regulation is nothing without enforcement. This particularly holds for the dynamic field of emerging technologies. Hence, this article has two ambitions. First, it explains how the EU´s new Artificial Intelligence Act (AIA) will be implemented and enforced by various institutional bodies, thus clarifying the governance framework of the AIA. Second, it proposes a normative model of governance, providing recommendations to ensure uniform and coordinated execution of the AIA and the fulfilment of the legislation. Taken together, the article explores how the (...) AIA may be implemented by national and EU institutional bodies, encompassing longstanding bodies, such as the European Commission, and those newly established under the AIA, such as the AI Office. It investigates their roles across supranational and national levels, emphasizing how EU regulations influence institutional structures and operations. These regulations may not only directly dictate the structural design of institutions but also indirectly request administrative capacities needed to enforce the AIA. (shrink)

One might suppose that Everettian quantum mechanics (EQM) is inhospitable to metaphysial indeterminacy (MI), given that, as A. Wilson (2020) puts it, "the central idea of EQM is to replace indeterminacy with multiplicity" (77). But as Wilson goes on to suggest, the popular decoherence-based understanding of EQM (henceforth: DEQM) appears to admit of indeterminacy in both world number and world nature, where the latter indeterminacy---our focus here---is plausibly metaphysical. After a brief presentation of DEQM (S1), we bolster the case for (...) there being MI in world nature in DEQM (S2). The remainder of the paper is devoted to a comparative assessment of the two main approaches to MI for purposes of accommodating this MI---namely, a metaphysical supervaluationist approach (as per Barnes and Williams 2011) and a determinable-based approach (as per Wilson 2013 and Calosi and Wilson 2018 and 2021). We briefly describe each approach (S3), then offer arguments in favour of a determinable-based approach to world nature MI in DEQM (S4). (shrink)

El objetivo de este artículo es presentar una reconstrucción de la teoría de los grupos dereferencia. La teoría, desarrollada por Robert K. Merton, ha sido largamente utilizada enlos más variados campos de las ciencias sociales, aunque con escasa o nula consideraciónmetateórica hasta ahora. La reconstrucción atenderá a la presentación que de la misma serecoge en sendos artículos de su libro Social Theory and Social Structure, de 1968, a saber:“Contributions to the theory of reference group behavior” y “Continuities in the theory (...) ofreference groups and social structure”. Para presentar esta reconstrucción me apoyaré en elinstrumental de la Metateoría Estructuralista. Después de una consideración informal de lateoría, serán presentados sus modelos potenciales, modelos, modelos potenciales parciales,sus aplicaciones intencionales y algunos comentarios acerca de la noción de “grupo de referencia”en lo que respeta su carácter relacional y disposicional. (shrink)

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

This article discusses Rik Peels's response to Williams's argument against voluntary belief. Williams argues that voluntary beliefs must be acquired independently of truth-considerations, so they cannot count as beliefs after all, since beliefs aim at truth. Peels attempted to reply by showing that in cases of self-fulfilling beliefs, a belief can indeed be voluntarily acquired in conditions which retain the necessary truth-orientation. But even if we make two crucial concessions to Peels’s proposal, his argument ultimately fails. The first concession is (...) that beliefs can be weakly voluntary-namely, we can acquire them at will though we do not preserve them at will but on the basis of evidence. Conceding this, however, only lands us in the “acquisition problem”: how a belief can be acquired qua belief when we still do not think we have justification for it. This leads us to the second concession: that knowing in advance that a certain belief is self-fulfilling provides us with such a justification. However, this concession lands us in the ultimate obstacle: that, precisely because such a justification is available both before and at the moment of forming the belief, the cognitive perspective of the subject is identical at both moments, which obscures what it even means to say that at a certain moment she started to have a belief. (shrink)

In recent years, several strategies have been proposed to tackle social controversies about topics in which science is settled, among which one of the most influential is that of Elizabeth Anderson, who argues that any lay person with access to the Internet and basic education can reliably assess the acceptability of various claims involving expert knowledge. In particular, the author shows that this procedure can be successfully applied to the case of anthropogenic global warming. In this article we will try (...) to argue why, even if we concede that Anderson's proposal is satisfactory in that particular case, it fails to generalize when applied to other controversies. In this article, we illustrate it with the cases of flat-Eartherism and anti-vaxxerism. (shrink)

In actuarial parlance, the price of an insurance policy is considered fair if customers bearing the same risk are charged the same price. The estimate of this fair amount hinges on the expected value obtained by weighting the different claims by their probability. We argue that, historically, this concept of actuarial fairness originates in an Aristotelian principle of justice in exchange (equality in risk). We will examine how this principle was formalized in the 16th century and shaped in life insurance (...) during the following two hundred years, in two different interpretations. The Domatian account of actuarial fairness relied on subjective uncertainty: An agreement on risk was fair if both parties were equally ignorant about the chances of an uncertain event. The objectivist version grounded any agreement on an objective risk estimate drawn from a mortality table. We will show how the objectivist approach collapsed in the market for life annuities during the 18th century, leaving open the question of why we still speak of actuarial fairness as if it were an objective expected value. (shrink)

Constituent power : the concept of a crisis -- Virtue and fortune : the machiavellian paradigm -- The Atlantic model and the theory of counterpower -- Political emancipation in the American constitution -- The revolution and the constitution of labor -- Communist desire and the dialectic restored -- The constitution of strength.

The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and defended a (...) definition of exact location in terms of weak location that does not entail functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...) (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (shrink)

L’Ipotesi del Continuo, formulata da Cantor nel 1878, è una delle congetture più note della teoria degli insiemi. Il Problema del Continuo, che ad essa è collegato, fu collocato da Hilbert, nel 1900, fra i principali problemi insoluti della matematica. A seguito della dimostrazione di indipendenza dell’Ipotesi del Continuo dagli assiomi della teoria degli insiemi, lo status attuale del problema è controverso. In anni più recenti, la ricerca di una soluzione del Problema del Continuo è stata anche una delle ragioni (...) fondamentali per la ricerca di nuovi assiomi in matematica. L’articolo fornisce un quadro generale dei risultati matematici fondamentali, e un’analisi di alcune delle questioni filosofiche connesse al Problema del Continuo. (shrink)

In the first half of the 20 th century, philosophers of science used to sustain that the correct theory acceptance in science derived from their conforming to certain rules. However, from the historicist and practical turn in the philosophy of science, the theory acceptance started to be analyzed based on values rather than on a priori established rules. In this article, I will present four paradigmatic positions on the role of values in science. The first position, articulated by Hugh Lacey, (...) defends a regulative ideal of 'impartiality' in the acceptance of scientific theories as established. The other positions convey arguments that seem to conflict with this ideal. I characterize them as 'blind spot argument', 'inductive risk argument' and 'trust-based acceptance argument'. Based on this analysis, I will defend two main theses. My first thesis is that the ideal of impartiality is compatible with the arguments just mentioned. My second thesis is that the defense of impartiality has the advantage of providing a support for the epistemic authority of properly established scientific knowledge. Following Lacey, I will argue that theories can only be accepted as established under specified domains of phenomena. However, theories are accepted for other purposes, for example, when they are adopted to develop research or when they are endorsed to inform the legitimacy of an action. In such cases of theory acceptance, impartiality is neither possible nor desirable, which requires the support of other ideals. (shrink)

It does not seem particularly daring to say that one objective of science education is to enable students to understand different phenomena in the world in their mutual relationship. This is roughly equivalent to promoting knowledge of scientific explanations, which involve resorting to regular relationships between certain phenomena and which, certainly, is different from knowledge of this or that type of event taken in isolation. In this text, we will draw attention to two opposing tendencies that, however, tend towards the (...) common result of hindering the achievement of such an objective. On the one hand, we find characterizations of scientific explanation that assimilate it to argumentation and, therefore, lose sight of what specifically makes explanations explanatory; that is, they ask too little of a scientific explanation. On the other hand, those that consider paradigmatic cases of scientific explanation −such as those achieved by subsuming phenomena such as tides to Newton's laws− do not really constitute explanations but merely descriptions; it is about asking too much of an explanation here. We will therefore point out that a greater attention to the elaborations provided by the philosophy of science about the notion of explanation is crucial to better serve educational purposes. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

In this article, we address fallacious analogical reasoning and the Metaphoric Fallacy to a Deductive Inference (MFDI), recently discussed by B. Lightbody and M. Berman (2010). We claim that the authors’ proposal to introduce a new fallacy is only partly justified. We also argue that, in some relevant cases, fallacious analogical reasoning involving metaphors is only affected by the use of quaternio terminorum.

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the theory-theory (...) of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)

En este trabajo nos referiremos al debate entre internismo y externismo epistemológicos a partir del episodio que constituye el debate entre Michael Williams y Alvin Goldman, que se expresa en el intercambio de trabajos presente en el volumen del año 2016 Goldman and his critics. Enmarcaremos esta discusión señalando que, mientras una serie de autores (en particular Laurence BonJour y, siguiendo su influencia, Jennifer Lackey y Fernando Broncano) extrae del debate internismo/externismo la consecuencia “dualista” de que el conocimiento no puede (...) analizarse según un único eje, sino que hallamos al menos dos -el de la razonabilidad subjetiva y el de la conductividad a la verdad-, Goldman se presenta como un externista de “línea dura” para el cual el internismo es simplemente insostenible y la justificación epistémica ha de comprenderse exclusivamente en términos confiabilistas. Sobre este trasfondo, analizaremos la propuesta de Williams, quien por un lado busca probar que las críticas de Goldman al internismo quedan restringidas a una versión “mentalista” o “subjetivista”, y, por el otro, busca ratificar una epistemología internista moderada apoyándose en el señalamiento de que el conocimiento humano es indisociable de consideraciones de responsabilidad (accountability). Buscaremos probar que la réplica de Goldman, que se centra en denunciar una presunta confusión por Williams entre el problema del “estar justificado” y el del “justificar”, no hace justicia a la amplitud del problema de la justificación epistémica, una vez que este es abordado, no a partir de presuntas “intuiciones” sobre el significado de “conocimiento” en el lenguaje ordinario, sino a partir de las prácticas en las que nociones como esta pueden hacerse funcionar. -/- . (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

In texts such as “Richard Rorty’s Pragmatic Turn” Jürgen Habermas defends a theory that associates, on the one hand, the truth-claim raised by a speaker for a proposition p with, on the other hand, the requirement that p be “defendable on the basis of good reasons […] at any time and against anybody”. This, as is known, has been the target of criticisms by Rorty, who−in spite of agreeing with Habermas on the central tenet that the way of evaluating our (...) beliefs must be argumentative practice−declares that the only “ideal presupposed by discourse” is “that of being able to justify your beliefs to a competent audience”. We will consider two texts from 1971, -surprisingly neglected in most approaches to the debate-, in which Habermas did include such a “competence condition” to elucidate the notion of truth. We will discuss whether there are good reasons to relinquish such a condition and to refer, instead, only to the formal or procedural properties of argumentative exchanges, as Habermas does in presenting the notion of “ideal speech situation”. As we will try to argue, there are no such good reasons. (shrink)

G. A. Cohen (2000) provided us with a challenging “paradox of conviction” by means of pointing out the fact that, even when we realize that we hold certain beliefs (for example, political or religious ones) only because we have been raised to have them, this discovery does not modify what we believe. This seems to be irrational, but acknowledging that fact would entail that irrationality is much more widespread than we are, in principle, willing to accept. In this article we (...) will focus on the solution proposed by Federico Penelas (2007), according to which the paradox can be dissolved by appealing to Rorty’s “ethnocentrism”. We will try to argue that this solution can work insofar as what supports our choice to retain our “convictions” is not theoretical in character, but practical. The reason why we can continue to support certain positions that lack neutral evidence in their favour is that it would be too costly not to do it—a condition which does not, nonetheless, make it any more probable that the positions in question are theoretically acceptable. (shrink)

Th e contemporary right to freedom of thought together with all its further declinations into freedom of speech, religion, conscience and expression, had one of its earliest historical recognitions at the end of the Wars of Religion with the Edict of Nantes (1598). In several respects one can saythat the right to freedom of thought is virtually “co-original” with the endof the Wars of Religion. Following this thought further, one might think that human rights defi ne the boundaries of our (...) social coexistence and are inextricably connected to the “fact” of cultural pluralism. (shrink)

In this paper, we provide an analysis of the concept of legal personality and discuss whether personality may be conferred on artificial intelligence systems (AIs). Legal personality will be presented as a doctrinal category that holds together bundles of rights and obligations; as a result, we first frame it as a node of inferential links between factual preconditions and legal effects. However, this inferentialist reading does not account for the ‘background reasons’ of legal personality, i.e., it does not explain why (...) we cluster different situations under this doctrinal category and how extra-legal information is integrated into it. We argue that one way to account for this background is to adopt a neoinstitutional perspective and to update the ontology of legal concepts with a further layer, the meta-institutional one. We finally argue that meta-institutional concepts can also support us in finding an equilibrium around the legal-policy choices that are involved in including (or not including) AIs among legal persons. (shrink)